Primitive types

Results: 885



#Item
311Computer programming / Arrays / Data types / Primitive types / Computer errors / Buffer overflow / Scanf format string / Circular buffer / C / Computing / Software engineering / Software bugs

Programmer’s Points to Remember: Always do bounds checking on arrays. Always do bounds checking on pointer arithmetic.

Add to Reading List

Source URL: nsfsecurity.pr.erau.edu

Language: English - Date: 2002-07-06 21:20:26
312Data types / Graphics file formats / Primitive types / Computer file formats / FITS / Cross-platform software / Array data type / Pointer / C / Computing / Software engineering / Computer programming

Note: This document is same as the document at _nom.tam.fits_ site except that examples are now in C# Using the CSharp FITS utilities. This document describes version 1.1 of the CSharpFITS class library for reading and

Add to Reading List

Source URL: vo.iucaa.ernet.in

Language: English - Date: 2013-06-24 10:30:05
313Data types / Type theory / Procedural programming languages / Primitive types / Ada / XL / Type conversion / Boolean data type / Function / Software engineering / Computing / Computer programming

Microsoft Word - General.doc

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-15 14:00:05
314Computer programming / Primitive types / Abstract interpretation / Astrée / Software bugs / Uninitialized variable / C / Error / Floating point / Software engineering / Computing / Data types

Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2014-11-14 06:34:31
315Data types / Primitive types / Cross-platform software / Procedural programming languages / Memory management / Valgrind / Pointer / Undefined value / Jikes RVM / Computing / Software engineering / Computer programming

Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors ∗ Michael D. Bond Nicholas Nethercote

Add to Reading List

Source URL: www.valgrind.org

Language: English - Date: 2007-08-28 18:44:20
316Data types / Primitive types / Computer programming / List comprehension / Binary file / Binary star / Bit / Computing / Binary arithmetic / Software engineering

  Bit­level Binaries and Generalized Comprehensions in Erlang Per Gustafsson and Kostis Sagonas Dept of Information Technology Uppsala University

Add to Reading List

Source URL: www.erlang.se

Language: English - Date: 2005-11-17 06:16:11
317Data types / Primitive types / Central processing unit / Debuggers / Profilers / Valgrind / Undefined value / MemCheck / C / Computing / Computer architecture / Computer programming

Using Valgrind to detect undefined value errors with bit-precision Julian Seward OpenWorks LLP Cambridge, UK Nicholas Nethercote

Add to Reading List

Source URL: www.valgrind.org

Language: English - Date: 2005-03-14 18:59:26
318Computer programming / Software engineering / Primitive types / C Standard Library / IEEE standards / Floating point / Rounding / Printf format string / Q / Computer arithmetic / Computing / Data types

Pawn embedded scripting language Floating Point Support Library August 2007

Add to Reading List

Source URL: www.compuphase.com

Language: English - Date: 2015-01-16 07:31:52
319Procedural programming languages / Data types / C programming language / Primitive types / Pointer / C++ / C / ANSI/ISO C Specification Language / Dangling pointer / Software engineering / Computing / Computer programming

ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed]

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:40
320Computing / Numbers / Floating point / Fixed-point arithmetic / Computer science / Q / Digital signal processor / Computer arithmetic / Data types / Primitive types

Equalisation Algorithms in Fixed Point Arithmetic by A.T. Markettos (CAI) Fourth-year project in Group E, [removed]Cambridge University Engineering Department

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-12-17 11:53:35
UPDATE